Bibliography Prettyprinting and Syntax Checking
نویسنده
چکیده
References 414 Index 415 List of Tables 1 Sample bibclean initialization file. 401 2 Escape sequences in quoted strings. 401 3 Initialization file pattern characters. 402
منابع مشابه
Bibliography prettyprinting and syntax checking
bzbview is intended for small personal databases. There may be problems with databases consisting of more than 1000 entries. It is desirable to search in more than one database. The consistency check should be more sophisticated and, for example, look for duplicate entries. The algorithm for key generation is fixed. The user should be able to define his own method for key generation. Comments i...
متن کاملPrettyprinting without Losing Comments
The problem of prettyprinting in generated programming environments is addressed. A practical solution for the prettyprinting process itself as well as for the handling of comments is given. A new box-language is presented for specifying prettyprint rules in an algebraic way. Both the syntax and the semantics of this box-language are formalized. Instead of designing and implementing a formattin...
متن کاملUnified Syntax with Iso-types
Traditional designs for functional languages (such as Haskell or ML) have separate sorts of syntax for terms and types. In contrast, many dependently typed languages use a unified syntax that accounts for both terms and types. Unified syntax has some interesting advantages over separate syntax, including less duplication of concepts, and added expressiveness. However, integrating unrestricted g...
متن کاملCase Analysis of Higher-Order Data
We discuss coverage checking for data that is dependently typed and is defined using higher-order abstract syntax. Unlike previous work on coverage checking that required objects to be closed, we consider open data objects, i.e. objects that may depend on some context. Our work may therefore provide insights into coverage checking in Twelf, and serve as a basis for coverage checking in function...
متن کاملA Complete Bibliography of Publications in Markup Languages: Theory & Practice
Cagle [98]. Calculus [78]. Can [3, 45]. case [11]. Caterpillars [43]. checking [46]. Cheryl [24]. classifications [55]. client [73]. code [49]. collections [13]. Commentary [17]. Companion [24, 96]. Complexity [79]. computer [49]. Conformance [30, 75]. consistently [45]. Consultant [67]. Content [3, 12, 42].
متن کامل